Nancy Day

Associate Professor

• Home
• Publications
  • Journals/Conferences
  • Technical Reports
  • Theses
  • Artifacts
• Students
• Teaching
• Service
• Contact



• Google Scholar
• DBLP
• ACM Digital Library

Theses Supervised (plus my own theses)

Owen Zila. Improvements to Many-Sorted Finite Model Finding using SMT Solvers. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2023. [ http ]

Tamjid Hossain. Dash+: Extending Alloy with Replicated Processes for Modelling Transition Systems. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2022. [ http | .pdf ]

Khadija Tariq. Linking Alloy with SMT-based Finite Model Finding. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2021. [ .pdf ]

Elias Eid. Profiling Alloy Models. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2021. [ .pdf ]

Amin Bandali. A Comprehensive Study of Declarative Modelling Languages. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2020. [ .pdf ]

Jose Serna. Dash: Declarative Behavioural Modelling in Alloy. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2019. [ .pdf ]

Joseph Poremba. Static symmetry breaking in many-sorted finite model finding, 2019. Undergrad thesis. [ arXiv | .pdf ]

Ali Abbassi. Astra: Evaluating Translations from Alloy to SMT-LIB. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2018. [ .pdf ]

Sabria Farheen. Improvements to Transitive-Closure-based Model Checking in Alloy. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2018. [ .pdf ]

Amirhossein Vakili. Temporal Logic Model Checking as Automated Theorem Proving. PhD thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2016. [ .pdf ]

Alma L. Juarez Dominguez. Detection of Feature Interactions in Automotive Active Safety Feature. PhD thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2012. [ .pdf ]

Shahram Esmaeilsabzali. Perscriptive Semantics for Big-Step Modelling Languages. PhD thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2011. [ .pdf ]

Alma L. Juarez Dominguez. Verification of DFC Call Protocol Correctness Criteria. MMath thesis, University of Waterloo, School of Computer Science, 2005. [ .pdf ]

Jianwei Niu. Template Semantics: A Parameterized Approach to Semantics-Based Model Compilation. PhD thesis, University of Waterloo, School of Computer Science, 2005. [ .pdf ]

Yun Lu. Mapping Template Semantics to SMV. MMath thesis, University of Waterloo, School of Computer Science, 2004. [ .pdf ]

Jennifer P. L. Campbell. High-level Optimization of Pipeline Design. MMath thesis, University of Waterloo, School of Computer Science, 2003. [ .pdf ]

Nancy A. Day. A Framework for Multi-Notation, Model-Oriented Requirements Analysis. PhD thesis, University of British Columbia, Department of Computer Science, October 1998. [ .pdf ]

Nancy Day. A Model Checker for Statecharts. MSc thesis, University of British Columbia, Department of Computer Science, October 1993. Appears as Technical Report CS-93-35. [ .pdf ]

Nancy Day. A Modula-2 Cross-Referencing Utility. BSc thesis, University of Western Ontario, Deparment of Computer Science, 1991.

This file was generated by bibtex2html 1.99.